Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: (...) Inference. Subsumption, A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

This paper identifies the ethical issues involved with women's advertising, and argues that ads can be successful in generating sales without portraying women as things or as mere sex objects, and without perpetuating various weakness stereotypes. A paradigm shift in advertising appears to be at hand. This new model replaces images of women as submissive or constantly in a need of alteration, with a move to reinstate beauty as a natural thing, not an unattainable ideal. This paper also reviews general (...) ethical issues of the advertising industry, including: (1) that advertising equates the pursuit of material gain with human happiness; (2) that advertising pushes its own values, artificial or false as they may be, as to what is "good" for the consumer; (3) that advertising plays on physical appetites and the body; (4) that advertising strives to bypass rational thinking, by desensitizing the viewer and playing on group dynamics. (shrink)

Western attempts to obtain Chinese compliance with intellectual property rights have a long history of failure. Most discussions of the problem focus on either legal comparisons or explanations arising from levels of economic development (based primarily on the example of U.S. disregard for such rights during the 18th and 19th centuries). After decades of heated negotiation, intellectual property rights is still one of the major issues of misunderstanding between the West and the various Chinese political entities. This paper examines the (...) sources of this problem from the standpoint of traditional Chinese social and political philosophy (specifically Neo-Confucianism). It points out that the basic assumptions about the nature of intellectual property, which arose during the 17th and 18th centuries in Europe, are fundamentally at odds with the traditional Chinese view of the role of intellectuals in society. It suggests that policies which do not take these differences into account, but which attempt to transfer Western legal concepts without the underlying social constructs are responsible for much of the lack of success in the area of intellectual property rights. (shrink)

This essay discusses the question of whether hunting is a competitive sport. The discussion approaches this issue from several angles. The author asserts that there is an anthropomorphic fallacy that the “superiority” of human beings justifies the “right” to exploit animals. The discussion turns to an historical analysis of how hunting emerged as a “sport.” The author discusses evolving standards of what constitutes acceptable forms of amusement, and the basis of moral criticisms of hunting. The author then claims that the (...) techniques commonly employed in hunting constitute animal cruelty. As a further analysis, the author points out a series of asymmetries between competitive sports and hunting, including the claim that sports are structured around and indeed constituted by a set of rules, in contrast to hunting. The essay then discusses wildlife management and distinguishes that from hunting. (shrink)

Traces the development of the human consciousness and argues that many scientific theories of human nature denigrate the value of humanity.

This paper discusses internal dynamics of the firm that contribute to the failure of knowledge conditions, using the Enron scandal as a case study. Ability of the board to effectively monitor conduct at operational levels includes various dynamics: senior management being isolated from those at operational levels; individuals pursuing subgoals that are contrary to overall corporate goals; information flow along a narrow linear channel that effectively forecloses adverse information from getting to senior management; a corporate culture of intimidation, discouraging open (...) expressions of doubt or skepticism, resulting in reluctance to challenge senior officials, and pushing the limits of ethics and the law.Elements of information blockage in the corporation include: the "law of diminishing control"; deliberate concealment of information by officers; motivation to report to the boss what one perceives the boss wants to hear; theory of "bounded rationality" that explains surprising role of irrationality in decisionmaking – unconscious emotions and motivations. Discussion of behavioralist studies of cognitive dissonance, belief perseverance, confirmatory bias, entity effect, motivated reasoning, group cohesion or "groupthink," and the false consensus effect. Problem of overoptimism – tendency of many people to overrate their own abilities, contributions and talents – and tendency toward puffery and dismissal of risks in formulating disclosures and press releases. (shrink)

Environmental ethicists have frequently criticized ancient Greek philosophy as anti-environmental for a view of philosophy that is counterproductive to environmental ethics and a view of the world that puts nature at the disposal of people. This provocative collection of original essays reexamines the views of nature and ecology found in the thought of Plato, Aristotle, the Stoics, and Plotinus. Recognizing that these thinkers were not confronted with the environmental degradation that threatens contemporary philosophers, the contributors to this book find that (...) the Greeks nevertheless provide an excellent foundation for a sound theory of environmentalism. (shrink)

Provides translations and interpretations of the texts of works by the great figures of early Greek philosophy.

Discusses the different ways in which the concept of imagination has been construed, and provides fascinating glimpses of the role of imagination in the creation and management of Modernity.

Having a criminal justice system that imposes sanctions no doubt does deter criminal conduct. But available social science research suggests that manipulating criminal law rules within that system to achieve heightened deterrence effects generally will be ineffective. Potential offenders often do not know of the legal rules. Even if they do, they frequently are unable to bring this knowledge to bear in guiding their conduct, due to a variety of situational, social, or chemical factors. Even if they can, a rational (...) analysis commonly puts the perceived benefits of crime greater than its perceived costs, due to a variety of criminal justice realities such as low punishment rates. These conclusions are reinforced by studies of crime rates following rule changes. Many show no change in deterrent effect. Those that purport to show a deterrent effect commonly have persuasive non-deterrence explanations, such as a change in incapacitative effect. The few studies that segregate deterrent and incapacitative effects tend to reinforce the conclusion that rule formulation has a deterrent effect only in those unusual situations in which the preconditions to deterrence exist. Even there, the deterrent effects are quite minor and unpredictable, hence inadequate grounds to influence criminal law rule making. (shrink)

Prologue: Quest for the Personal In the lectures which formed the basis of this book I began, as Chapter i indicates, with a brief review of how the current ...

BackgroundInternational partnerships in research are receiving ever greater attention, given that technology has diminished the restriction of geographical barriers with the effects of globalisation becoming more evident, and populations increasingly more mobile.DiscussionIn this article, we examine the merits and risks of such collaboration even when strict universal ethical guidelines are maintained. There has been widespread examples of outcomes beneficial and detrimental for both high and low –income countries which are often initially unintended.SummaryThe authors feel that extreme care and forethought should (...) be exercised by all involved parties, despite the fact that many implications from such international work can be extremely hard to predict. However ultimately the benefits gained by enhancing medical research and philanthropy are too extensive to be ignored. (shrink)

Marking the tercentenary of Berkeley's birth, this collection of previously unpublished essays covers such Berkeleian topics as: imagination, experience, and possibility; the argument against material substance; the physical world; idealism; science; the self; action and inaction; beauty; and the general good. Among the contributors are: Christopher Peacocke, Ernest Sosa, Margaret Wilson, C.C.W. Taylor, and J.O. Urmson.

Fixity and freedom.--Law and love.--Authority and experience.

Although this appeared after the debate between Victor and Zelm, logically it is prior, for Robinson's critique of conventional marriage sets the stage for the other two to consider the anarchist alternatives. Actually, Robinson does offer a vague alternative, on which most anarchists could agree, sexual relationships based on consent rather than compulsion. However, he also argues that this ideal was not designed to break up marriages nor to increase promiscuity, for relationships already based on consent and friendship (...) could only be strengthened by removing the aspect of compulsion. In this sense, Robinson's critique of existing marriage strongly parallels the critique of economic monopoly, and his ideal seems to be "free competition" for love and companionship. (shrink)

This ran against all that Robinson believed most deeply about belief in God- influenced as he was by the new wave of German the.

Modern states claim rights of jurisdiction and control over particular geographical areas and their associated natural resources. Boundaries of Authority explores the possible moral bases for such territorial claims by states, in the process arguing that many of these territorial claims in fact lack any moral justification. The book maintains throughout that the requirement of states' justified authority over persons has normative priority over, and as a result severely restricts, the kinds of territorial rights that states can justifiably claim, and (...) it argues that the mere effective administration of justice within a geographical area is insufficient to ground moral authority over residents of that area. The book argues that only a theory of territorial rights that takes seriously the morality of the actual history of states' acquisitions of power over land and the land's residents can adequately explain the nature and extent of states' moral rights over particular territories. Part I of the book examines the interconnections between states' claimed rights of authority over particular sets of subject persons and states' claimed authority to control particular territories. It contains an extended critique of the dominant. (shrink)

Books and articles about the acceleration of daily life are themselves accelerating. A theoretical basis for expecting the inevitability of these trends has been traced in the writings of major sociologists including Durkheim, Marx, Weber and Sorkin. As deTocqueville observed more than 150 years ago, “The American is always in a hurry.” Economists have also weighed in on these issues of time compression, perhaps starting with Linder’s insightful treatise The Harried Leisure Class, predicting the frantic pace of modern life and (...) leisure. As specialized work led to higher rates of productivity, accelerated consumption led to an acceleration of the pace of life and a harried leisure class. Much of what Linder discussed in regard to time scarcity was perceived scarcity. Interestingly, his conclusions were not that people would work longer, but rather that they would attempt to increase the yield on a unit of time in all areas of life—minimizing activities such as singing or political debate, which could not easily have their yield on time spent increased. The value of efficiency and increased productivity, carried to extremes, he argued, produced a kind of decadence in which the goal of economic growth is never questioned. More recently, economists have played down the seriousness of concerns over a speeded up lifestyle, characterizing it in large part as “Yuppie Kvetch.” Not that higher income couples are making irrational decisions, they are simply facing the inevitable constraints on their ability to enjoy their wealth. This article reviews various of these philosophical issues in the context of US national survey data concerning trends in the time pressures and stress in the activities of Americans over the last 30+ years. It focuses both on the measurable amounts of free time Americans have and on the specific activities done in that free time. It also reviews survey data on Americans’ perceptions of and attitudes toward time and stress. It brings together data from different survey sources that often show conflicting trends and conclusions. (shrink)

This paper critically examines the extent to which health promoting wearable technologies can provide people with greater autonomy over their health. These devices are frequently presented as a means of expanding the possibilities people have for making healthier decisions and living healthier lives. We accept that by collecting, monitoring, analysing and displaying biomedical data, and by helping to underpin motivation, wearable technologies can support autonomy over health. However, we argue that their contribution in this regard is limited and that—even with (...) respect to their ‘autonomy enhancing’ potential—these devices may deliver costs as well as benefits. We proceed by rehearsing the distinction that can be drawn between procedural autonomy and substantive-relational autonomy. While the information provided by wearable technologies may support deliberation and decision-making, in isolation these technologies do little to provide substantive opportunities to act and achieve better health. As a consequence, wearable technologies risk generating burdens of anxiety and stigma for their users and reproducing existing health inequalities. We then reexamine the extent to which wearable technologies actually support autonomous deliberation. We argue that wearable technologies that subject their users to biomedical and consumerist epistemologies, norms and values also risk undermining processes of genuinely autonomous deliberation. (shrink)